<!DOCTYPE html>
<html lang="en-US">
<head>
    {% include jquery-ui.html %}
</head>

<body onload="prettyPrint();">

  {{ content }}

  <script type="text/javascript">
    var _gaq = _gaq || [];
    _gaq.push(['_setAccount', 'UA-17093650-1']);
    _gaq.push(['_trackPageview']);
  
    (function () {
      var ga = document.createElement('script');
      ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
      ga.setAttribute('async', 'true');
      document.documentElement.firstChild.appendChild(ga);
    })();
  </script>
</body>
</html>